Substitution model - PDFSEARCH.IO - Document Search Engine

Substitution model
Results: 273

#	Item
141	Differential Dynamic Logic for Verifying Parametric Hybrid Systems? Andr´e Platzer University of Oldenburg, Department of Computing Science, Germany Carnegie Mellon University, Computer Science Department, Pittsburgh, P Add to Reading List Source URL: symbolaris.com Language: English - Date: 2014-08-04 10:08:59 Model theory Predicate logic Logical truth Formal languages Symbol First-order logic Substitution Interpretation KeY Logic Mathematical logic Propositional calculus
142	FoNEW Discussion Paper[removed]Investments in a Combined Energy Network Model: Substitution between Natural Gas and Electricity? Add to Reading List Source URL: www.sccer-crest.ch Language: English - Date: 2014-09-05 04:01:10 Technology Natural gas Natural gas storage Electricity market Energy development Transmission system operator Liquefied natural gas Ontario electricity policy GAIL Energy Fuel gas Electric power
143	Complementary Sentential Logics Achille C. Varzi Istituto per la Ricerca Scientifica e Tecnologica , Povo (Trento), Italy (Published in Bulletin of the Section of Logic, 19:[removed]), 112–116.) Add to Reading List Source URL: www.columbia.edu Language: English - Date: 2004-09-21 20:59:58 Metalogic Logical truth Model theory Tautology Substitution Contradiction Entailment Theory Paraconsistent logic Logic Propositional calculus Mathematical logic
144	Public Disclosure Authorized Policy Research Working Paper Green Growth Lessons from Growth Theory Add to Reading List Source URL: www.greengrowthknowledge.org Language: English - Date: 2013-12-13 11:36:00 Consumer theory Welfare economics Economic theories Ramsey–Cass–Koopmans model Time preference Golden Rule savings rate Elasticity of intertemporal substitution Labour economics Marginal utility Economics Macroeconomics Economic growth
145	A Rough Guide to BEAST 1.4 Alexei J. Drummond1 , Simon Y.W. Ho, Nic Rawlence and Andrew Rambaut2 1 Department of Computer Science Add to Reading List Source URL: www.molecularevolution.org Language: English - Date: 2010-07-13 15:04:22 Science Bioinformatics Statistical genetics DNA Substitution model Molecular clock Sequence alignment Nucleic acid sequence Coalescent theory Biology Computational phylogenetics Genetics
146	Verifying space and time requirements for resource-bounded agents Natasha Alechina Piergiorgio Bertoli Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2006-04-01 06:48:09 Model theory Reasoning Logical truth Epistemic modal logic Substitution Inference Well-formed formula Interpretation Constructible universe Logic Formal languages Modal logic
147	Model-checking space and time requirements for resource-bounded agents Natasha Alechina1 , Piergiorgio Bertoli2 , Chiara Ghidini2 , Mark Jago1 , Brian Logan1, and Luciano Serafini2 1 Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2006-08-16 14:39:00 Formal languages Model theory Logical truth Propositional calculus Logical syntax Substitution Formula Well-formed formula Interpretation Logic Mathematics Mathematical logic
148	Sparse Dynamic Programming and Aggregate Fluctuations Xavier Gabaix∗ January[removed]Abstract Add to Reading List Source URL: pages.stern.nyu.edu Language: English - Date: 2014-07-03 11:38:39 Random walk model of consumption Marginal propensity to consume Elasticity of intertemporal substitution Macroeconomic model Economic model Dynamic programming Bounded rationality General equilibrium theory Behavioral economics Macroeconomics Economics Science
149	Verifying space and time requirements for resource-bounded agents Natasha Alechina Piergiorgio Bertoli Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2009-09-11 12:40:28 Model theory Reasoning Logical truth Epistemic modal logic Substitution Inference Well-formed formula Interpretation Constructible universe Logic Formal languages Modal logic
150	Model-checking space and time requirements for resource-bounded agents Natasha Alechina1 , Piergiorgio Bertoli2 , Chiara Ghidini2 , Mark Jago1 , Brian Logan1, and Luciano Serafini2 1 Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2009-09-11 12:40:28 Formal languages Model theory Logical truth Propositional calculus Logical syntax Substitution Formula Well-formed formula Interpretation Logic Mathematics Mathematical logic

UPDATE